Nuprl Definition : es-initially
0,22
postcript
pdf
x
initially@
i
== es_init(
es
)(
i
).
x
latex
clarification:
es-initially(
es
;
i
;
x
) == es_init(
es
)(
i
).
x
latex
Definitions
s
.
x
,
f
(
a
)
,
es_init(
es
)
FDL editor aliases
es-initially
origin